We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent d5bd7e9 commit 66942d1Copy full SHA for 66942d1
MiniZincIDE/CHANGES
@@ -1,4 +1,4 @@
1
-2025-02-27
+2025-03-03
2
v2.9.1
3
- Ensure locations for warnings and errors are shown when the stack dump is empty (#212).
4
- Use scroll buttons when the tab bar overflows to ensure the side panels can be resized (#213).
0 commit comments